#ifndef RANDOM_H
#define RANDOM_H

#include <stdint.h>

#define RND_MAX 0xFFFFFFFFu

void initialize_random (char const * const home);

void seed_random (uint64_t seed);

uint64_t generate_random (void);

uint32_t random_range (uint32_t max);

void finalize_random (char const * const home);

#endif

